q{-}constraints($k$;$A$;$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\parallel$$y$$\parallel$ = $k$) c$\wedge$ ($\forall$${\it xr}$$\in$$A$. q{-}rel(${\it xr}$.2;q{-}linear($k$;$j$.(${\it xr}$.1)($j$);$y$)))